1

Lawvere's Basic Theory of the Category of Categories

Year:
1975
Language:
english
File:
PDF, 166 KB
english, 1975
2

The universe of discourse of modal logic

Year:
1996
Language:
english
File:
PDF, 580 KB
english, 1996
3

Substitution algebras in their relation to cylindric algebras

Year:
1970
Language:
english
File:
PDF, 297 KB
english, 1970
4

Toward discourse representation via pregroup grammars

Year:
2007
Language:
english
File:
PDF, 287 KB
english, 2007
5

Logic for Nested Graphs

Year:
1998
Language:
english
File:
PDF, 232 KB
english, 1998
6

An Algebraic Approach to Non-Classical Logics.by Helena Rasiowa

Year:
1977
Language:
english
File:
PDF, 79 KB
english, 1977
7

Free compact 2-categories

Year:
2007
Language:
english
File:
PDF, 417 KB
english, 2007
10

AN INTERPRETATION OF MARTIN-LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY

Year:
1992
Language:
english
File:
PDF, 1.22 MB
english, 1992
12

Efficiency of Pregroups and the French Noun Phrase

Year:
2005
Language:
english
File:
PDF, 256 KB
english, 2005
14

Editorial Introduction

Year:
2007
Language:
english
File:
PDF, 113 KB
english, 2007
15

Linear Processing with Pregroups

Year:
2007
Language:
english
File:
PDF, 294 KB
english, 2007
16

Natural language semantics in biproduct dagger categories

Year:
2014
Language:
english
File:
PDF, 523 KB
english, 2014
19

Studies in Algebraic Logic.by Aubert Daigneault

Year:
1978
Language:
english
File:
PDF, 122 KB
english, 1978
22

The Theories of Functors and Modelsby Peter Freyd

Year:
1971
Language:
english
File:
PDF, 219 KB
english, 1971
27

Efficiency of Pregroups and the French Noun Phrase

Year:
2005
Language:
english
File:
PDF, 2.15 MB
english, 2005
28

Categorical Grammars and Pregroups || Linear Processing with Pregroups

Year:
2007
Language:
english
File:
PDF, 2.34 MB
english, 2007